1. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
2. The collected papers of Gerhard Gentzen.
پدیدآورنده : Edited by M. E. Szabo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
3. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
4. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
